$\forall$${\it as}$:(top List). null(${\it as}$) $\in$ $\mathbb{B}$